A Rudimentary Quantum Compiler (2cnd Ed.)
نویسنده
چکیده
We present a new algorithm for reducing an arbitrary unitary matrix U into a sequence of elementary operations (operations such as controlled-nots and qubit rotations). Such a sequence of operations can be used to manipulate an array of quantum bits (i.e., a quantum computer). Our algorithm applies recursively a mathematical technique called the CS Decomposition to build a binary tree of matrices whose product, in some order, equals the original matrix U. We show that the Fast Fourier Transform (FFT) algorithm is a special case of our algorithm. We report on a C++ program called “Qubiter” that implements the ideas of this paper. Qubiter(PATENT PENDING) source code is publicly available.
منابع مشابه
A Rudimentary Quantum Compiler
We present a new algorithm for reducing an arbitrary unitary matrix into a sequence of elementary operations (operations such as controlled-nots and qubit rotations). Such a sequence of operations can be used to manipulate an array of quantum bits (i.e., a quantum computer). We report on a C++ program called “Qubiter” that implements our algorithm. Qubiter source code is publicly available.
متن کاملOf What Use is a Veri ed Compiler Speci cation ?
Program veri cation is normally performed on source code. However, it is the object code which is executed and so which ultimately must be correct. The compiler used to produce the object code must not introduce bugs. The majority of the compiler correctness literature is concerned with the veri cation of compiler speci cations rather than executable implementations. We discuss di erent ways th...
متن کاملThe NIST EXPRESS Toolkit: Requirements for Improvement
The NIST EXPRESS toolkit is a software library for building EXPRESS-related tools. This paper is one in a series describing the latest version of the toolkit. This document describes shortcomings of previous versions of the toolkit, requirements for improvement, and a recommended approach for addressing those requirements. A background knowledge of EXPRESS and the EXPRESS toolkit is presumed as...
متن کاملPregnancy in Non-Communicating Rudimentary Horn of A Unicornuate Uterus
Background: Diagnosis and management of pre-rupture stage of the pregnant horn are difficult and usually missed on a routine ultrasound scan. Furthermore, most cases are detected after rupture of pregnant horn. Case: We presented a 28-year-oldG2 L1 woman with diagnosis of RHP at 14 weeks of gestation. She was initially diagnosed with a normal intrauterine pregnancy, whereas a pregnancy in a rig...
متن کاملA Compiler for a Functional Quantum Programming Language
We introduce a compiler for the functional quantum programming language QML [1], developed in Haskell. The compiler takes QML expressions as input and outputs a representation of quantum circuits (via the category FQC of finite quantum computations) which can be simulated by the simulator presented here, or by using a standard simulator for quantum gates. We discuss the structure of the compile...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008